Fachbereich Informatik

نویسندگان

  • Alfred Bröckers
  • Christopher M. Lott
  • H. Dieter Rombach
  • Martin Verlage
چکیده

Intellectual control over software development projects requires the existence of an integrated set of explicit models of the products to be developed, the processes used to develop them, the resources needed, and the productivity and quality aspects involved. In recent years the development of languages, methods and tools for modeling software processes, analyzing and enacting them has become a major emphasis of software engineering research. The majority of current process research concentrates on prescriptive modeling of small, completely formalizable processes and their execution entirely on computers. This research direction has produced process modeling languages suitable for machine rather than human consumption. The MVP project, launched at the University of Maryland and continued at Universität Kaiserslautern, emphasizes building descriptive models of large, real-world processes and their use by humans and computers for the purpose of understanding, analyzing, guiding and improving software development projects. The language MVP-L has been developed with these purposes in mind. In this paper, we motivate the need for MVP-L, introduce the prototype language, and demonstrate its uses. We assume that further improvements to our language will be triggered by lessons learned from applications and experiments. refer to earlier versions of the language and are not entirely consistent with this language report. Future publications will be based on this version of MVP-L.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Datenbanken und Informationssysteme

Organisatorische Zugehörigkeit Ich gehörte zunächst zum Fachbereich Elektrotechnik, Fakultät für Maschinenbau und Elektrotechnik. Anläßlich der Zusammenführung der Informatik wurde ich Mitglied des Instituts für Theoretische und Praktische Informatik (1978) im Fachbereich Mathematik und Informatik. Wenig später wurde dieses Institut in kleinere Einheiten aufgeteilt, und mein Arbeitsbereich wurd...

متن کامل

GermanTeam 2007 The German National RoboCup Team

1 Deutsches Forschungszentrum für Künstliche Intelligenz, Safe and Secure Cognitive Systems, Robert-Hooke-Str. 5, 28359 Bremen, Germany 2 Fachgebiet Simulation und Systemoptimierung, Fachbereich Informatik, Technische Universität Darmstadt, Hochschulstraße 10, 64289 Darmstadt, Germany 3 Institut für Informatik, LFG Künstliche Intelligenz, Humboldt-Universität zu Berlin, Rudower Chaussee 25, 124...

متن کامل

Modellierung und Abwicklung von Datenflüssen in unternehmensübergreifenden Prozessen

Markus Bon Norbert Ritter Hans-Peter Steiert AG DBIS Fachbereich Informatik Universität Kaiserslautern Postfach 3049 D-67653 Kaiserslautern [email protected] Arbeitsbereich VSIS Fachbereich Informatik Universität Hamburg Vogt-Kölln-Strasse 30 D-22527 Hamburg [email protected] Research &Technology RIC/ED DaimlerChrysler AG Postfach 2360 D-89013 Ulm hans-peter.steiert@daimle...

متن کامل

Einsatz von neuen Medien an der FernUniversität Hagen

Der Fachbereich Informatik der FernUniversität/GH Hagen betreut zur Zeit ca. 7500 Studierende, die durch schriftliche Kurse und Präsenzkurse erreicht werden. Daneben ergänzen audio-visuelle Medien und die virtuelle Universität das Lehrangebot. Es gibt 8 Lehrstühle für praktische Informatik, 2 Lehrstühle für theoretische Informatik und 2 Lehrstühle für technische Informatik. Die Durchführung der...

متن کامل

Stability Conditions for the BMAP/G/1 Queue with Level Dependent Arrivals

Electronic copies of technical reports are available: Via FTP: URL ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports Via WWW: URL http://www.informatik.uni-trier.de/Reports/Current.html Via email: Send a mail to [email protected], subject ’HELP’, for detailed instructions Printed copies: Trierer Forschungsberichte Fachbereich IV Mathematik / Informatik Universitat Trier ..

متن کامل

Model-Checking for L2

Electronic copies of technical reports are available: Via FTP: URL ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports Via WWW: URL http://www.informatik.uni-trier.de/Reports/Current.html Via email: Send a mail to [email protected], subject ’HELP’, for detailed instructions Printed copies: Trierer Forschungsberichte Fachbereich IV Mathematik / Informatik Universitat Trier ..

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995